已知二次函数f(x)=ax^2+bx+c满足f(-1)=0 且x≤f(x)≤(x^2+1)/2对一切x恒值成立,求该函数的解析式.